COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	@ \.{POOLtype} is written entirely in standard \PASCAL, except that it has
C00004 00003	@ The ascii code is ``standard'' only to a certain extent, since many
C00006 00004	@<Character |k| cannot be printed@>=
C00007 ENDMK
C⊗;
@ \.{POOLtype} is written entirely in standard \PASCAL, except that it has
to do some slightly system-dependent character code conversion on input
and output. The input is read from |pool_file|, and the output is written
on |output|. If the input is erroneous, the |output| file will describe
the error.
@↑system dependencies@>

@p @t\4@>@{$D-,W+@} {no debugging overhead}
program POOLtype(@!pool_file,@!output);
label 9999; {this labels the end of the program}
type @<Types in the outer block@>@/
var@?@<Globals in the outer block@>@/
procedure initialize; {this procedure gets things started properly}
	var @<Local variables for initialization@>@;
	begin @<Set initial values of key variables@>@/
	end;

@↑system dependencies@>@↑changes for {\mc SAIL}@>
@z
@ The ascii code is ``standard'' only to a certain extent, since many
computer installations have found it advantageous to have ready access
to more than 94 printing characters. Appendix@@C of the \TeX\ manual
gives a complete specification of the intended correspondence between
characters and \TeX's internal representation.

The code shown here is intended to be used on the Stanford {\sc SAIL} system,
and at other installations like CMU and ISI where essentially the same
extended character set is used. The fact that {\sc SAIL} has |'}'| in the
wrong place turns out to cause no difficulty in this case.

@<Set initial values...@>=
for i←1 to @'37 do xchr[i]←chr(i);
xchr[@'30]←chr(@'137);
xchr[@'32]←chr(@'33); {|not_equal| sign}
xchr[@'33]←chr(@'176);
@↑system dependencies@>@↑changes for {\mc SAIL}@>
@z
@<Character |k| cannot be printed@>=
	k in [0,@'11..@'15,@'33]
@↑system dependencies@>@↑changes for {\mc SAIL}@>
@z